大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Engineering of Software [electronic resource] : The Continuing Contributions of Leon J. Osterweil

0
索取号：
作者：Tarr、 Peri L.、Wolf、 Alexander L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Hofmann、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Nanocosmetics and Nanomedicines [electronic resource] : New Approaches for Skin Care

0
索取号：
作者：Beck、 Ruy.、Guterres、 Silvia.、Pohlmann、 Adriana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

0
索取号：
作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Architecture [electronic resource] : A Comprehensive Framework and Guide for Practitioners

0
索取号：
作者：Vogel、 Oliver.、Arnold、 Ingo.、Chughtai、 Arif.、Kehrer、 Timo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New State of MCDM in the 21st Century [electronic resource] : Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009

0
索取号：
作者：Shi、 Yong.、Wang、 Shouyang.、Kou、 Gang.、Wallenius、 Jyrki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Aspects of Visualization [electronic resource] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers

0
索取号：
作者：Ebert、 Achim.、Dix、 Alan.、Gershon、 Nahum D.、Pohl、 Margit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

0
索取号：
作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Networks and Information Technologies [electronic resource] : Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings

0
索取号：
作者：Das、 Vinu V.、Stephen、 Janahanlal.、Chaba、 Yogesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Technologies in Environmental Engineering [electronic resource] : New Trends and Challenges

0
索取号：
作者：Golinska、 Paulina.、Fertsch、 Marek.、Marx-G贸mez、 Jorge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Combinatorial Aspects of Commutative Algebra and Algebraic Geometry [electronic resource] : The Abel Symposium 2009

0
索取号：
作者：Fl酶ystad、 Gunnar.、Johnsen、 Trygve.、Knutsen、 Andreas Leopold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings

0
索取号：
作者：Koch、 Andreas.、Krishnamurthy、 Ram.、McAllister、 John.、Woods、 Roger.、El-Ghazawi、 Tarek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Robotics Research [electronic resource] : The 14th International Symposium ISRR

0
索取号：
作者：Pradalier、 C茅dric.、Siegwart、 Roland.、Hirzinger、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.